home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ASME's Mechanical Engine…ing Toolkit 1997 December
/
ASME's Mechanical Engineering Toolkit 1997 December.iso
/
ai
/
prlg195b.lzh
/
SAMPLES.LZH
/
ORDER.PRO
< prev
next >
Wrap
Text File
|
1986-07-20
|
256b
|
8 lines
/* Ask ?-aless( 2, 3 ). Get: Yes.
Ask ?-aless( 3, 2 ). Get: No. */
aless( X, Y ) :- name( X, L ), name( Y, M ), alessx( L, M ).
alessx( [], [_|_] ).
alessx( [X|_], [Y|_] ) :- X < Y.
alessx( [P|Q], [R|S] ) :- P = R, alessx( Q, S ).